\documentclass[12pt]{ociamthesis}  % default square logo 
%\documentclass[12pt,beltcrest]{ociamthesis} % use old belt crest logo
%\documentclass[12pt,shieldcrest]{ociamthesis} % use older shield crest logo

%load any additional packages
\usepackage{amssymb}
\usepackage[tight,style=math]{k}
\usepackage{k}
\usepackage{appendix}

\newenvironment{todo}{\bigskip\hrule\medskip\noindent}{\medskip\hrule\bigskip}
\newcommand{\tbd}[1]{\begin{todo}\textcolor{red}{#1}\end{todo}}
\newcommand{\Cfg}{\mathit{Cfg}}
\newcommand{\Bool}{\mathit{Bool}}
\newcommand{\true}{\mathit{true}}
\newcommand{\false}{\mathit{false}}
\newcommand{\Ra}{\Rightarrow}
\newcommand{\eqbydef}{\triangleq}
\newcommand{\A}{\mathcal{A}}
\renewcommand{\S}{\mathcal{S}}
\newcommand{\T}{\mathcal{T}}
\newcommand{\Var}{\mathit{Var}}
\newcommand{\var}{\mathit{var}}
\newcommand{\SymVar}{\mathit{SymVal}}
\newcommand{\TSym}[1]{{\T}^{\it sym}_{#1}}
\newcommand{\TSyms}{{\T}^{\it sym}}
\newcommand{\SSym}{{\S}^{\it sym}}
\newcommand{\Free}{\mathit{Free}}

\newcommand{\IMP}{\textsc{IMP}\xspace}



%input macros (i.e. write your own macros file called mymacros.tex 
%and uncomment the next line)
%\include{mymacros}

\title{Symbolic execution in the \K Framework\\[1ex]     %your thesis title,
      }   %note \\[1ex] is a line break in the title

\author{\textbf{Andrei Arusoaie}\\}             %your name
\college{Supervisor: Prof. Dr. Dorel Lucanu}  %your college

%\renewcommand{\submittedtext}{change the default text here if needed}
\degree{PhD First Year Report}     %the degree
\degreedate{}         %the degree date

%end the preamble and start the document
\begin{document}

%this baselineskip gives sufficient line spacing for an examiner to easily
%markup the thesis with comments
\baselineskip=18pt plus1pt

%set the number of sectioning levels that get number and appear in the contents
\setcounter{secnumdepth}{3}
\setcounter{tocdepth}{3}


\maketitle                  % create a title page from the preamble info
\include{dedication}        % include a dedication.tex file
\include{acknowlegements}   % include an acknowledgements.tex file
\include{abstract}          % include the abstract

\begin{romanpages}          % start roman page numbering
\tableofcontents            % generate and include a table of contents
% \listoffigures              % generate and include a list of figures
\end{romanpages}            % end roman page numbering

%now include the files of latex for each of the chapters etc
\include{introduction}
%\include{research-description}
%\include{progress-report}
%\include{conclusions}

%now enable appendix numbering format and include any appendices
%\appendix
%\include{appendix1}
%\include{appendix2}

%next line adds the Bibliography to the contents page
\addcontentsline{toc}{chapter}{Bibliography}
%uncomment next line to change bibliography name to references
%\renewcommand{\bibname}{References}
\bibliography{refs}        %use a bibtex bibliography file refs.bib
\bibliographystyle{plain}  %use the plain bibliography style

\end{document}

